((v1 v2 9) (v1 v3 2) (v1 v4 2) (v1 v5 7) (v1 v6 8) (v1 v7 6) (v1 v8 7) (v1 v9 2) (v1 v10 9) (v1 v11 8) (v1 v12 8) (v1 v13 5))
89
((v8 v11) (v1 v10) (v13 v1) (v7 v8))